Workshop Report
18th Workshop on Logic-based Methods in Programming Environments

Damiano Zanardini

Facultad de Informática
Universidad Politécnica de Madrid
Spain

Editor: Enrico Pontelli



The 18th edition of the workshop on Logic-based methods in Programming Environments took place in Udine on Dec 12th, 2008.  In the last editions, the workshop has been co-located with the International Conference on Logic Programming (ICLP).  The 2008 edition followed this trend.

Among the received submissions, 8 papers have been accepted and presented at the workshop.

The workshop began with an invited talk by Andy King, from the University of Kent (UK).  His talk was about using the tools of logic
programming in the security industry.  The content of Andy's talk was inspired by his current collaboration with Portcullis Computer Security Limited (UK), an enterprise actively working in security and program analysis, and interested in the results of academic research in these fields.

The morning session consisted of four talks, the first two of them, by respectivley Yoshihiro Adachi and Jens Bendisposto, basically focused on visual programming environments for Prolog.  The last two talk, by Miguel Gómez-Zamalloa and Ulrich Neumerkel, respectively, dealt with program analysis techniques for Prolog, namely, partial evaluation and termination analysis.

Four more talks were presented in the afternoon session.  Victor Pablos Ceruelo presented RFuzzy, a modern framework modelling
multi-adjoint logic.  In the second talk of the session, Salvador Tamarit discussed several improvements for increasing the accuracy of the size-change analysis, an important part of offline partial evaluation of logic programs.  The combination of call-time choice and
run-time choice as the semantics of lazy functional logic languages was the topic of the third talk, given by Francisco Javier
López-Fraguas.  Finally, Adrian Prantl presented the design and implementation of a generalized loop constraint analysis, which plays an important role as a component of worst case execution time (WCET) analysis.

A total of 25 people attended the workshop, in spite of the overlapping with the activities of ICLP and of the other satellite
workshops.  The proceedings will be published in the CoRR repository; a printed copy was also distributed to the participants during the workshop.

The details and the final versions of the accepted papers can be found at the workshop website

We conclude by acknowledging the PC members, the external referees, all the participants, the ICLP chair Agostino Dovier, all the people organizing the main conference, and ICLP supporting, sponsoring and patronating institutions.  WLPE was partially funded by the project S-0505/TIC/0407 'PROMESAS-CAM' of the Comunidad de Madrid, the Spanish projects TIN2005-09207-C03-03 'MERIT-FORMS' and TIN2008-06622-C03-01 'FAST-STAMP', and the European Community project 015905, 'MOBIUS'.